\begin{tabbing}
es{-}p{-}immediate{-}pred(${\it es}$;$P$)($e$,${\it e'}$)
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$\=es{-}causl(${\it es}$; ${\it e'}$; $e$)\+
\\[0ex]\& $P$($e$)
\\[0ex]\& $P$(${\it e'}$)
\\[0ex]\& ($\forall$${\it e''}$:es{-}E(${\it es}$). es{-}causl(${\it es}$; ${\it e''}$; $e$) $\Rightarrow$ es{-}causl(${\it es}$; ${\it e'}$; ${\it e''}$) $\Rightarrow$ ($\neg$($P$(${\it e''}$))))
\-
\end{tabbing}